Let be a functor and a diagram, and suppose that the composite has a limit. We say that creates this limit if has a limit, and both preserves and reflects limits of . The latter two conditions together mean that a cone over in is a limiting cone if and only if its image in is a limiting cone over .
Of course, a functor creates a colimit if creates the corresponding limit.
If creates all limits or colimits of a given type (i.e. over a given category ), we simply say that creates that sort of limit (e.g. creates products, creates equalizers, etc.).
(monadic functors create limits) A monadic functor
creates all limits that exist in its codomain;
creates all colimits that exist in its codomain and are preserved by the corresponding monad (or, equivalently, by the monadic functor itself).
Creation of a particular sort of split coequalizer figures prominently in Beck’s monadicity theorem.
It seems that the notion of “creating a limit” is used most frequently when the limits exist in the codomain. One may want to extend the terminology to cases when such limits don’t exist, which would require making a choice about whether a non-existing limit should be regarded as “created”.
In Categories Work the convention is that a functor creates all limits that do not exist in its codomain. In this case, the more generally applicable definition could be stated as “ creates limits for if has a limit whenever has a limit, and in that case limits of are preserved and reflected by .” (But see below for an additional difference with Categories Work.)
On the other hand, one might argue that it doesn’t make sense to regard a limit that exists in the domain as being “created by the functor” if the limit in the codomain doesn’t even exist. In this case the more generally applicable definition could be stated as “ creates limits for if has a limit whenever has a limit, and furthermore in all cases limits of are preserved and reflected by .”
Finally, one might even argue that based on the meaning of the English word “created”, only something that exists can be created at all. In this case the more generally applicable definition could be stated as “ creates limits for if and both have limits, and furthermore limits of are preserved and reflected by .”
The definitions given above are all “up to isomorphism”, i.e. they satisfy the principle of equivalence. The definition in Categories Work is additionally strict: it requires that for every limiting cone over in there exists a unique cone over which is mapped exactly to , and this is a limit of . This is used in stating the version of the monadicity theorem that characterizes the category of algebras for a monad up to isomorphism rather than equivalence of categories. For amnestic isofibrations the strict and the non-strict notion are equivalent.
Kissinger suggested a concise way to state creation/preservation/etc. of limits. However, there is some dispute about its correctness.
created limit
Saunders Mac Lane, Definition V.1 in: Categories for the Working Mathematician (1971)
Jiří Adámek, Horst Herrlich, George E. Strecker, Definition 13.17(2) in: Abstract and Concrete Categories.
Emily Riehl, §3.3 in: Category Theory in Context, Dover Publications (2017) [pdf, book website]
Last revised on November 7, 2023 at 10:11:10. See the history of this page for a list of all contributions to it.